Observers Design for Discrete-Event Systems Modelled by S-Nets

Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled by Petri Nets

Design of observers/controllers for discrete event systems using Petri nets

In this paper, that is an extended abstract of the talk presented at the Symposium on the Supervisory Control of Discrete Event Systems held in Paris in July 2001, we deal with the problem of estimating the marking of a Place/Transition net based on event observation. We assume that the net structure is known while the initial marking is only partially known and we give an algorithm to construc...

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

Observability of discrete event systems modeled by interpreted Petri nets

This paper is concerned with the analysis of the observability of the discrete event systems (DES) modeled by interpreted Petri nets (IPN). This paper presents three major contributions on the field of the observability of DES. First, an observability definition for IPN is proposed. This definition is more precise than previous ones because it deals with the possibility of determining the syste...

Recent Developments in Discrete Event Systems

This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...